Combinatoire autour des mots sturmiens

Infinite Labeled Trees: from Rational to Sturiman Trees

This paper studies infinite unordered d-ary trees with nodes labeled by {0, 1}. We introduce the notions of rational and Sturmian trees along with the definitions of (strongly) balanced trees and mechanical trees, and study the relations among them. In particular, we show that (strongly) balanced trees exist and coincide with mechanical trees in the irrational case, providing an effective const...

Une Technique de Validation de Protocoles basée sur une Exploration avec Retour arrière des Automates Complexes

Résumé L’analyse d’accessibilité est généralement l’approche utilisée pour la validation des protocoles. Le problème posé par l’application de cette technique est celui de l’explosion combinatoire. Dans cet article, nous proposons une nouvelle technique de validation de protocoles appelée Reverse Leaping Reachability Analysis (RLRA). Au lieu de parcourir tout l’espace des états de protocole, no...

Combinatoire autour du groupe symétrique

Analysis and Low-order Modeling of the Three-dimensional Flow Past a Confined Square Cylinder

The laminar flow past a square cylinder symmetrically placed between two parallel walls is considered. A classical vortex wake is shed from the cylinder, but three-dimensional instabilities are present and they develop in complicated flow patterns. The possibility of extracting an accurate low-order model of this flow is explored. Key-words: low-order models, wake flows, proper orthogonal decom...

Studying frequency-based approaches to process lexical simplification (Approches à base de fréquences pour la simplification lexicale) [in French]

RÉSUMÉ La simplification lexicale consiste à remplacer des mots ou des phrases par leur équivalent plus simple. Dans cet article, nous présentons trois modèles de simplification lexicale, fondés sur différents critères qui font qu’un mot est plus simple à lire et à comprendre qu’un autre. Nous avons testé différentes tailles de contextes autour du mot étudié : absence de contexte avec un modèle...